Abstract machine

Results: 823



#Item
291Econometrics / Regression analysis / Vectors / Abstract algebra / Linear algebra / Vector space / Support vector machine / Logistic regression / Statistical classification / Algebra / Statistics / Mathematics

StreamSVM Linear SVMs and Logistic Regression When Data Does Not Fit In Memory S.V. N. (vishy) Vishwanathan Purdue University and Microsoft

Add to Reading List

Source URL: www.stat.purdue.edu

Language: English - Date: 2013-08-23 14:53:44
292Utility / Intelligent agent / Expected utility hypothesis / A1 / Preference / Statistics / Economics / Microeconomics / Game theory / Decision theory / Artificial intelligence

Corrigibility Nate Soares and Benja Fallenstein and Eliezer Yudkowsky Machine Intelligence Research Institute {nate,benja,eliezer}@intelligence.org Abstract

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2014-12-16 03:03:46
293Markov processes / Stochastic control / Machine learning / Artificial intelligence / Cartography / Robotic mapping / Robotics / Reinforcement learning / Mobile robot / Statistics / Robot navigation / Dynamic programming

Learning Efficient Policies for Vision-based Navigation Armin Hornung Hauke Strasdat Abstract— Cameras are popular sensors for robot navigation

Add to Reading List

Source URL: hrl.informatik.uni-freiburg.de

Language: English - Date: 2009-10-13 03:55:32
294Computing / Stack / C++ Standard Library / Subroutine / Queue / Stack machine / Abstract data types / Computer programming / Software engineering

Deductive Verification of Data Structures Jens Gerlach DEVICE-SOFT Workshop Berlin, October 2010

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:57
295Abstract State Machine Language / Nikon / Japanese yen / Electronics / Economy of Japan / Technology / ASML Holding

September 29, 2004 Patent Dispute Settlement; Financial Results Forecast Revision On September 28, 2004 (Japan time), Nikon Corporation (Nikon), ASML Holding N.V. (ASML) and Carl Zeiss SMT AG (SMT) signed a Memorandum of

Add to Reading List

Source URL: www.nikon.com

Language: English - Date: 2011-03-02 04:10:50
296Complexity classes / True quantified Boolean formula / Alternating Turing machine / FO / DTIME / NTIME / Time complexity / SL / Turing machine / Theoretical computer science / Computational complexity theory / Applied mathematics

Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas Ryan Williams∗ Carnegie Mellon University Abstract

Add to Reading List

Source URL: www.stanford.edu

Language: English - Date: 2008-04-30 19:50:48
297Image processing / IAPR / Machine learning / Academic publishing / Abstract management / Academic conference / Peer review / Chair / Knowledge / Academia / Education

Guidelines for Organizing and Bidding to Host the International Conference on Pattern Recognition (ICPR) 1 Introduction The International Conference on Pattern Recognition (ICPR) is the major scientific

Add to Reading List

Source URL: iapr.org

Language: English - Date: 2014-03-28 11:51:34
298Singular value decomposition / Multivariate statistics / Abstract algebra / Generalized Hebbian Algorithm / Principal component analysis / Eigenvalues and eigenvectors / Kernel principal component analysis / Matrix / Projection / Algebra / Linear algebra / Mathematics

Journal of Machine Learning ResearchSubmitted 11/06; Published –/– Fast Iterative Kernel Principal Component Analysis Simon G¨

Add to Reading List

Source URL: www.stat.purdue.edu

Language: English - Date: 2008-09-11 13:00:40
299Search engine indexing / Relevance feedback / Mean reciprocal rank / Stemming / Anchor text / Full text search / Learning to rank / Information science / Information retrieval / Document retrieval

Machine Learning Approach for Homepage Finding Task Wensi Xi and Edward A. Fox Department of Computer Science Virginia Polytechnic Institute and State University ABSTRACT

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2002-02-12 08:35:10
300Natural language processing / Relevance feedback / Relevance / Vector space model / Tf*idf / Query expansion / Sentiment analysis / N-gram / Support vector machine / Information science / Information retrieval / Science

FDU at TREC 2007: opinion retrieval of Blog Track Qi Zhang, Bingqing Wang, Lide Wu, Xuanjing Huang Abstract This paper describes our participation in the opinion retrieval task at Blog Track 07. The system consisted of t

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2008-02-05 08:56:15
UPDATE